Kajian Stilistika Semantik pada Ungkapan Bahasa Jawa Postingan Instagram @Gojekgentho

JaWa: Java with Assertions

Koalgebren Monaden und Semantik

Dies ist eine Zusammenfassung der Dissertation [Mi05b] des Autors, welche ihrerseit eine kumulative Arbeit ist, die aus den wissenschaftlichen Artikeln [AMV03, AMV06a, AMV06b, Ac03, Mi05a, Mi02, MM06] besteht. Wir untersuchen mathematische Strukturen, die in der Theorie der Koalgebren auftauchen und die für die Semantik rekursiver Definitionen nützlich sind. Zunächst werden verschiedene neue Ko...

#Halal Culture on Instagram

Halal is a notion that applies to both objects and actions, and means permissible according to Islamic law. It may be most often associated with food and the rules of selecting, slaughtering, and cooking animals. In the globalized world, halal can be found in street corners of New York and beauty shops of Manila. In this study, we explore the cultural diversity of the concept, as revealed throu...

Semantik und Programmverifikation

Die Aussage ist wahr. Annahme: → ist konfluent, also für alle q, s, t ∈M : wenn es ein n ∈ N mit q → s gibt und q →∗ t, dann gibt es ein r ∈M mit s→∗ r und t→∗ r. Herausziehen des Existenzquantors für n ergibt: Für alle q, s, t ∈ M , n ∈ N: wenn q → s und q →∗ t, dann gibt es ein r ∈M mit s→∗ r und t→∗ r. Instantiieren wir n mit 1, ergibt sich gerade die Definition der einseitigen Konfluenz. (b...

Lemmatization Technique in Bahasa: Indonesian Language

many researches and inventions have been made in the field of linguistics and technology. Even so, the integration between linguistics and technology is not always reliable to all language. Every language is unique in its linguistic nature and rules. In this paper, a lemmatization technique in Bahasa (Indonesian language) is presented. It has achieved good precision by using The Indonesian Dict...